منابع مشابه
The Azores Confluence Zone
The goal of this study is to characterize the meteorological and oceanographic conditions affecting the Azores Archipelago, and explore their biological implications. The Mid-Atlantic region of the Azores Archipelago is under the permanent influence of the Azores high pressure system, thereby providing sustained Ekman transport that facilitates the convergence in regional oceanography. The west...
متن کاملHerbrand-Confluence
We consider cut-elimination in the sequent calculus for classical first-order logic. It is well known that this system, in its most general form, is neither confluent nor strongly normalizing. In this work we take a coarser (and mathematically more realistic) look at cut-free proofs. We analyze which witnesses they choose for which quantifiers, or in other words: we only consider the Herbrand-d...
متن کاملTyping Confluence
We investigate con uence properties for concurrent systems of message-passing processes, because such properties have proved to be useful for a variety of applications, ranging from reasoning about concurrent objects to mobile and high-speed telecommunication protocols. Roughly, con uence means that for every two computations starting from a common system state, it is possible to continue the c...
متن کاملOpérateurs de Confluence
In the logic based framework of knowledge representation and reasoning many operators have been defined in order to capture different kinds of change : revision, update, merging and many others. There are close links between revision, update, and merging. Merging operators can be considered as extensions of revision operators to multiple belief bases. And update operators can be considered as p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Frontiers in Marine Science
سال: 2017
ISSN: 2296-7745
DOI: 10.3389/fmars.2017.00037